Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

With the success of its previous editions, "Principles of Real Analysis, Third Edition" continues to introduce students to the fundamentals of the theory of measure and functional analysis. In this thorough update, the authors have included a new chapter on Hilbert spaces as well as integrating over 150 new exercises throughout. The new edition covers the basic theory of integr...(展开全部)

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann...(展开全部)

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann...(展开全部)